|
課程名稱 |
系統晶片驗證
Soc Verification |
|
開課學期 |
100-2 |
|
授課對象 |
電機資訊學院 電子工程學研究所 |
|
授課教師 |
黃鐘揚 |
|
課號 |
EEE5023 |
|
課程識別碼 |
943 U0250 |
|
班次 |
|
|
學分 |
3 |
|
全/半年 |
半年 |
|
必/選修 |
選修 |
|
上課時間 |
星期五2,3,4(9:10~12:10) |
|
上課地點 |
電二104 |
|
備註 |
總人數上限：50人 |
|
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1002socv |
|
課程簡介影片 |
|
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
|
課程大綱
|
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
|
課程概述 |
1.Verification problems in SoC Designs.
2.Block, system, vs. SoC Verification.
3.Simulation-based verification. Testbench Authoring.
4.Assertion-based verification (ABV). Property specification language.
5.Simulation speed-up by emulation. Prototyping verification.
6.Formal verification techniques. Automatic test pattern generation (ATPG). Boolean Satisfiability (SAT). Binary Decision Diagram (BDD).
7.Semi-Formal verification.
8.Equivalence checking. Property checking.
9.Future SoC verification challenges and directions.
|
|
課程目標 |
Understand the theoretical and practical aspects of hardware verification. |
|
課程要求 |
1.Homework 30%
2.Mid-term exam 30%
3.Final exam or project 40%
|
|
預期每週課後學習時數 |
|
|
Office Hours |
每週三 14:00~15:00 備註： TA Hour @ EE-II 353. |
|
指定閱讀 |
|
|
參考書目 |
Textbook： 1.“System-on-a-Chip Verification - Methodology and Techniques”, Prakash Rashinkar, Peter Paterson, and Leena Singh, Kluwer Academic Publishers.
2.“Assertion-Based Design”, Harry Foster, Adam Krolnik, and David Lacey, Kluwer Academic Publishers.
3.“Writing Testbenches: Functional Verification of HDL Models”, Janick Bergeron, Kluwer Academic Publishers.
4.Class handouts/slides.
|
|
評量方式
(僅供參考) |
|
|
週次 |
日期 |
單元主題 |
|
第1週 |
2/24 |
0. Class Introduction </br>
1. Introduction to Verification |
|
第2週 |
3/02 |
1. Introduction to Verification |
|
第3週 |
3/09 |
2. Formal Verification Basics |
|
第4週 |
3/16 |
** No class ** |
|
第5週 |
3/23 |
** No class ** |
|
第6週 |
3/30 |
3. BDD-Based Verification |
|
第7週 |
4/06 |
溫書假 |
|
第8週 |
4/13 |
3. BDD-Based Verification |
|
第9週 |
4/20 |
4. Boolean Satisfiability (SAT) Solver |
|
第10週 |
4/27 |
4. Boolean Satisfiability (SAT) Solver |
|
第11週 |
5/04 |
5. SAT-Based Verification |
|
第12週 |
5/11 |
5. SAT-Based Verification |
|
第13週 |
5/18 |
5. SAT-Based Verification |
|
第14週 |
5/25 |
6. Applications of SAT |
|
第15週 |
6/01 |
6. Applications of SAT |
|
第16週 |
6/08 |
** No class (DAC week) ** |
|
第17週 |
6/15 |
6. Applications of SAT <br>
5. SAT-Based Verification (PDR) |
|
第18週 |
6/22 |
Final Exam |
|
第5-1週 |
3/29 |
3. BDD-Based Verification |
|